program testValueNumberingAlgebraicMinus0;

class testValueNumberingAlgebraicMinus0
BEGIN
   
   VAR aa, bb, cc, dd : integer;

FUNCTION testValueNumberingAlgebraicMinus0;
BEGIN
   aa := 5;
   bb := aa - 0
END

END
.

